A Configurable Automatic Instrumentation Tool for ANSI C

ADIC: An Extensible Automatic Differentiation Tool for ANSI-C

In scienti c computing, we often require the derivatives @f=@x of a function f expressed as a program with respect to some input parameter(s) x, say. Automatic di erentiation (AD) techniques augment the program with derivative computation by applying the chain rule of calculus to elementary operations in an automated fashion. This article introduces ADIC (Automatic Di erentiation of C), a new A...

A Configurable ACSL-Based Interface Generator for Simulated Systems

Verifying ANSI-C Context-Aware Applications Draft

We report on work in progress upon the verification of contextaware applications written in C-based languages. We recognize that context-aware programs are generally either middleware-based and multithreaded, or driven by asynchronous events, and focus on identifying the program points in which the contextual updates impact the application behaviour. Inheriting from related work on the validati...

Comparison of Object Oriented Technology Automatic Codes Generating Tools for Safety Critical Real-time Software

The purpose of this paper is to compare two different automatic code generating software tools and the suitability of each for the development of safety-critical real-time software systems. The tools used are Rhapsody and SCADE for Avionics. Rhapsody will generate software under ANSI C++ standards and guidelines, while SCADE for Avionics will produce DO-178B certifiable ANSI C++ software. A sim...

Application of Automatic Differentiation to 3-D Volume Grid Generation Software1

Automatic differentiation (AD) is a methodology for developing reliable sensitivity-enhanced versions of arbitrary computer programs with little human effort. As such, it can vastly accelerate the use of advanced simulation codes in a multidisciplinary design optimization context, as the time for generating and verifying derivative codes is greatly reduced. In this paper, we report on the appli...